quantifier raising semantics